Ant Colonies for Temporal Logic Falsification of Hybrid Systems

机译：用于混合系统时态逻辑伪造的蚁群

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yashwanth Singh; Rahul Annapureddy; Georgios E. Fainekos;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Ant colony optimisation-direct cover: a hybrid ant colony direct cover technique for multi-level synthesis of multiple-valued logic functions [J] . Mostafa Abd-El-Barr International journal of electronics . 2010,第11a12期

机译：蚁群优化直接覆盖：用于多值逻辑函数的多级合成的混合蚁群直接覆盖技术
2. Design of type-2 Fuzzy Logic Systems Based on Improved Ant Colony Optimization [J] . Zhang Zhifeng, Wang Tao, Chen Yang, International Journal of Control, Automation, and Systems . 2019,第2期

机译：基于改进蚁群优化的2型模糊逻辑系统设计
3. Ant colony optimization with dynamic parameter adaptation based on interval type-2 fuzzy logic systems [J] . Olivas Frumen, Valdez Fevrier, Castillo Oscar, Applied Soft Computing . 2017,第期

机译：基于间隔Type-2模糊逻辑系统的动态参数适应蚁群优化
4. Ant colonies for Temporal Logic falsification of hybrid systems [C] . 36th Annual Conference on IEEE Industrial Electronics Society . 2010

机译：混合系统时间逻辑伪造的蚁群
5. S-Taliro: A Tool for Temporal Logic Falsification for Hybrid Systems [D] . Annapureddy, Yashwanth Singh Rahul 2011

机译：S-Taliro：用于混合系统的时间逻辑伪造的工具
6. Path Optimization of Medical Waste Transport Routes in the Emergent Public Health Event of COVID-19: A Hybrid Optimization Algorithm Based on the Immune–Ant Colony Algorithm [O] . Ziyuan Liu, Zhi Li, Weiming Chen, 2020

机译：Covid-19紧急公共健康事件中医疗废物运输路线的路径优化：基于免疫蚁群算法的混合优化算法
7. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems ⋆ [O] . Yashwanth Annapureddy, Che Liu, Georgios Fainekos, 2012

机译：s-TaLiRo：混合系统时间逻辑伪造的工具⋆

Ant Colonies for Temporal Logic Falsification of Hybrid Systems

著录项

引文网络

相似文献

相关主题

期刊订阅